- rule of conditional proof
- правило условного доказательства
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
rule of conditional proof
Смотреть что такое "rule of conditional proof" в других словарях:
conditional proof — conditional proof, rule of … Philosophy dictionary
conditional proof, rule of — The rule in a deductive system that if A1…An⊦ B then A1…An–⊦ An→ B … Philosophy dictionary
Conditional immortality — Conditional immortality, or conditionalism, is the Christian doctrine that the human soul is naturally mortal, and that immortality is granted by God as a gift. Immortality, therefore, is conditional; this viewpoint stands in contrast to the more … Wikipedia
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
Chain rule for Kolmogorov complexity — The chain rule for Kolmogorov complexity is an analogue of the chain rule for information entropy, which states: H(X,Y) = H(X) + H(Y | X) That is, the combined randomness of two sequences X and Y is the sum of the randomness of X plus whatever… … Wikipedia
Curry's paradox — The paradox is generated by a conditional: (C) If (C) is true, then p, where p is an arbitrarily chosen proposition say, one which is just plain false. Classically we can now argue: suppose (C) is true. Then, if (C) is true then p . So p, by… … Philosophy dictionary
natural deduction — A system of logic developed solely in terms of rules of inference. In the place of axioms there are only rules, saying what can be derived from any given assumption. However, there will be rules for ‘discharging’ assumptions, leading to results… … Philosophy dictionary
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
